منابع مشابه
The Gödel Hierarchy and Reverse Mathematics
In 1900 the great mathematician David Hilbert laid down a list of 23 mathematical problems [32] which exercised a great influence on subsequent mathematical research. From the perspective of foundational studies, it is noteworthy that Hilbert’s Problems 1 and 2 are squarely in the area of foundations of mathematics, while Problems 10 and 17 turned out to be closely related to mathematical logic.
متن کاملA Natural Interface for Sign Language Mathematics
The general goal of our research is the creation of a natural and intuitive interface for input and recognition of American Sign Language (ASL) math signs. The specific objective of this work is the development of two new interfaces for the Mathsigner application. Mathsigner is an interactive, 3D animation-based game designed to increase the mathematical skills of deaf children. The program mak...
متن کاملRational Mechanisms and Natural Mathematics
Chu spaces have found applications in computer science, mathematics, and physics. They enjoy a useful categorical duality analogous to that of lattice theory and projective geometry. As natural mathematics Chu spaces borrow ideas from the natural sciences, particularly physics, while as rational mechanics they cast Hamiltonian mechanics in terms of the interaction of body and mind. This paper a...
متن کاملRational Mechanics and Natural Mathematics
Chu spaces have found applications in computer science, mathematics, and physics. They enjoy a useful categorical duality analogous to that of lattice theory and projective geometry. As natural mathematics Chu spaces borrow ideas from the natural sciences, particularly physics, while as rational mechanics they cast Hamiltonian mechanics in terms of the interaction of body and mind. This paper a...
متن کاملNatural TEX Notation in Mathematics
In this paper we introduce Nath, a LTEX 2.09/2ε style implementing a natural TEX notation for mathematics. keywords: Natural mathematical notation
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1986
ISSN: 0028-0836,1476-4687
DOI: 10.1038/324205a0